-
1 формальный аксиоматический метод
Makarov: formal axiomatic methodУниверсальный русско-английский словарь > формальный аксиоматический метод
-
2 формальный аксиоматический метод
Русско-английский физический словарь > формальный аксиоматический метод
-
3 метод
м.method, technique- абсорбционный метод
- адиабатический метод
- аксиоматический метод
- активационный метод
- активный метод управления горением
- акустико-топографический метод
- акустической эмиссии метод
- альфа-ионизационный метод
- анаглифический метод
- аналитический метод
- аналоговый метод
- аргоновый метод
- асимптотический метод
- астрономические методы
- бестигельный метод
- вариационный метод
- велосиметрический метод
- весовой метод
- визуальный метод
- вискозиметрический метод падающего шарика
- вискозиметрический метод соосных цилиндров
- водный метод
- времяпролётный метод
- геометрический метод
- гибридный метод
- гидротермальный метод
- гироскопический метод
- голографический метод
- градиентный метод
- графический метод
- графоаналитический метод
- двухступенчатый метод Лакса - Вендорфа
- диаграммный метод Майера
- дифракционный метод
- дифференциальный метод
- дифференциальный муаровый метод
- диффузионный метод
- доплеровский метод
- дымовой метод
- ёмкостный метод
- зарядовый метод
- золь-гель метод
- зондовый метод
- идеализированный метод
- изотермический метод
- изотопный метод
- иммерсионный метод
- импедансный метод
- индикаторный метод
- интерференционный метод
- ионизационный метод
- итерационный метод спуска
- итерационный метод
- калориметрический метод
- капельный метод
- капиллярный метод измерения вязкости
- каскадный метод
- качественный метод
- квантовомеханический метод
- кластерно-вариационный метод
- когерентный метод ускорения
- количественный метод
- коллективный метод ускорения
- коллиматорный метод
- колориметрический метод
- комбинированный метод
- компенсационный метод
- корреляционный метод
- косвенный метод
- кристалл-дифракционный метод
- лабораторный метод
- локальный метод малых возмущений
- люминесцентный метод
- магнитострикционный метод
- малоугловой метод Лауе
- масс-спектрографический метод
- масс-спектрометрический метод
- матричный метод Джонса
- матричный метод расчёта конструкций
- матричный метод
- мембранный метод
- метод мерцания
- метод R-матрицы
- метод S-матрицы
- метод абсолютного счёта
- метод адиабатических инвариантов
- метод активации фольг
- метод амплитудного анализа
- метод анаглифов
- метод аналогий
- метод антисовпадений
- метод апертурного зондирования
- метод апертурного синтеза
- метод аппроксимации
- метод аппроксимирующих функций
- метод Арнольда
- метод атомного пучка
- метод атомных орбиталей
- метод Берга - Баррета
- метод Бете - Пайерлса
- метод Бете - Тайта
- метод блоховских волн
- метод Боголюбова
- метод бозонизации
- метод Бома - Гросса
- метод Бормана
- метод Борна - Оппенгеймера
- метод Бриджмена - Стокбаргера
- метод Бриджмена
- метод Бринеля
- метод Брэгга
- метод Брюкнера
- метод Бубнова - Галеркина
- метод быстрейшего спуска
- метод быстрого преобразования Фурье
- метод быстрых совпадений
- метод Вайссенберга
- метод вакуумного осаждения
- метод валентных связей
- метод валентных схем
- метод Ван-дер-Поля
- метод вариации постоянных
- метод Ватсона
- метод Вентцеля - Крамерса - Бриллюэна
- метод Вернейля с дуговым нагревом
- метод Вернейля с плазменным нагревом
- метод Вернейля
- метод вертикального вытягивания
- метод вертикального радиозондирования
- метод верхней релаксации
- метод взвешенных невязок
- метод Вигнера - Зейтца
- метод Вигнера
- метод визуализации потока
- метод Вика - Чандрасекара
- метод Вика
- метод Винера - Хопфа
- метод ВКБ
- метод влажной эмульсии
- метод внезапных возмущений
- метод внутреннего газового наполнения
- метод внутреннего жидкостного наполнения
- метод внутреннего маркера
- метод внутреннего наполнения
- метод внутриимпульсной линейной частотной модуляции
- метод водородного спектрометра
- метод возбуждения
- метод возвратно-наклонного зондирования
- метод возмущений
- метод возмущённых стационарных состояний
- метод вращающегося кристалла
- метод вращения образца
- метод времени пролёта
- метод всеволнового счётчика
- метод встречных пучков
- метод выращивания кристаллов
- метод высокочастотного нагрева в холодном контейнере
- метод высокочастотного резонанса
- метод выталкивания
- метод вытягивания
- метод вычитания при двухизотопном сканировании
- метод газовых струек
- метод газотранспортных реакций
- метод Галеркина - Петрова
- метод Галеркина - Ритца
- метод Галеркина
- метод генераторных координат
- метод геометрической оптики
- метод гидротермального синтеза
- метод гиперсферических координат
- метод Гира
- метод годографа
- метод горизонтального вытягивания
- метод горячей стенки
- метод градиентной минимизации
- метод граничной коллокации
- метод граничных интегральных уравнений
- метод граничных точек
- метод граничных элементов
- метод графов
- метод группирования счётчиков
- метод Грэда
- метод Дарвина - Фаулера
- метод двойного индикатора
- метод двойного канала
- метод двойного пропускания
- метод двойного резонанса
- метод двойных столкновений
- метод двукратной экспозиции
- метод двумерной дифракции
- метод двухфотонной флуоресценции
- метод Дебая - Шеррера
- метод дезактивации
- метод декорирования
- метод деформационного отжига
- метод диагностики
- метод диаграмм Фейнмана
- метод Дирака - Фока
- метод дискретных координат
- метод дисперсионного интерферометра
- метод дисперсионных соотношений
- метод дифракции медленных электронов
- метод дифракции на порошке
- метод дифракции электронов в сходящемся пучке
- метод дифракции электронов высоких энергий на отражение
- метод дифракции электронов высоких энергий
- метод дифракции электронов низких энергий
- метод дифракции электронов
- метод дифференциального поглощения
- метод диэлектрического резонатора
- метод догоняющих пучков
- метод дополнительного нагрева
- метод дополнительных деформаций
- метод дополнительных нагрузок
- метод дробных шагов
- метод дублетов
- метод Дюпена
- метод Дюпри
- метод жидкой эмульсии
- метод заданного давления
- метод задержанных совпадений
- метод замедлителя
- метод замещения образцов
- метод замещения
- метод замкнутой системы
- метод замораживания напряжений
- метод запаздывающих совпадений
- метод запаянной ампулы
- метод заряженного плунжера
- метод затемнённого поля
- метод Захарова - Кузнецова
- метод звёздных пар
- метод зонной плавки
- метод измерения вязкости вытягиванием нитей
- метод измерения вязкости по затуханию крутильных колебаний диска
- метод измерения вязкости по затуханию крутильных колебаний шара
- метод измерения вязкости по поглощению на боре
- метод измерения вязкости по скорости подъёма пузырьков
- метод измерения вязкости с помощью колеблющегося диска
- метод измерения вязкости с помощью колеблющегося шара
- метод измерения
- метод изображений
- метод изогнутого кристалла
- метод изоморфного замещения
- метод изотопного разбавления
- метод изотопного разведения
- метод изотопных индикаторов
- метод инвариантов
- метод интегралов движения
- метод интегрального счёта
- метод интегральных уравнений
- метод интегрирования по траектории
- метод интерференционного интеграла
- метод ионной имплантации
- метод искажённых волн
- метод исключения Гаусса
- метод исключения неизвестных
- метод исключения Холеского
- метод искусственной вязкости
- метод испарения в вакууме
- метод испарения растворителя
- метод испытания балки с односторонним надрезом
- метод испытания
- метод источника и поглотителя
- метод источников и стоков
- метод итераций
- метод итерационного поиска
- метод кадмиевого отношения
- метод кадмиевой разности
- метод канонического оператора
- метод Карлсона
- метод КАРС
- метод касательной плоскости
- метод катастроф
- метод каустик
- метод качаний
- метод качающегося кристалла
- метод квадрупольного резонанса
- метод квантового дефекта
- метод Кейса
- метод Киропулоса
- метод Кирхгофа
- метод кластерных полей
- метод Климонтовича
- метод когерентного накопления
- метод когерентных состояний
- метод когерентных частот
- метод колебаний
- метод колеблющегося диска
- метод коллективных переменных
- метод коллокаций
- метод колонной рекомбинации
- метод Кольрауша
- метод компенсации волнового фронта
- метод комплексных амплитуд
- метод комплексных угловых моментов
- метод комптоновских профилей
- метод конечных разностей
- метод конечных элементов в напряжениях
- метод конечных элементов в перемещениях
- метод конечных элементов с собственными функциями
- метод конечных элементов
- метод контрольного объёма
- метод конформных преобразований
- метод Косселя
- метод котлового осциллятора
- метод коэффициента опасности
- метод краевых волн
- метод кристаллизации в пламени
- метод кристаллических орбиталей
- метод критического пути
- метод Крэнка - Никольсона
- метод крюков Рождественского
- метод Кубо
- метод Лагранжа
- метод лазерного напыления
- метод Ланга
- метод Лауэ
- метод легирования
- метод Ленгмюра - Блоджетт
- метод линеаризованных присоединённых плоских волн
- метод линейной интерполяции
- метод линейной комбинации атомных орбиталей
- метод линейной передачи энергии
- метод линейных МТ-орбиталей
- метод ЛКАО
- метод лучевой оптики
- метод люминесцирующего зонда
- метод Ляпунова
- метод магнетронной мишени
- метод магнитного анализа
- метод мазков
- метод максимального правдоподобия
- метод малого параметра
- метод малоуглового рассеяния
- метод малых возмущений
- метод малых наклонов
- метод матрицы переноса
- метод матрицы плотности
- метод медленного охлаждения
- метод Мерсье
- метод мерцаний
- метод меченых атомов
- метод мнимого времени
- метод многоканальной К-матрицы
- метод многократных столкновений
- метод многолучевой интерференции
- метод многощелевой ионизационной камеры
- метод МО ЛКАО
- метод моделирования
- метод модельного потенциала
- метод молекулярного замещения
- метод молекулярной динамики
- метод молекулярных орбиталей
- метод молекулярных пучков
- метод моментов
- метод Монте-Карло
- метод наведённых решёток
- метод наименьших квадратов
- метод наискорейшего спуска
- метод накачки
- метод наклона реактора
- метод наложения
- метод напыления
- метод нейтрализации
- метод некогерентного рассеяния радиоволн
- метод неопределённых коэффициентов
- метод неопределённых множителей Лагранжа
- метод непрерывных дробей
- метод носителей
- метод нулевого баланса
- метод нулевых биений
- метод Ньютона - Рафсона
- метод обратного отражения
- метод обратного рассеяния на монокристаллах
- метод обратного рассеяния нейтронов
- метод обратной задачи рассеяния
- метод обратной итерации
- метод обратной прогонки
- метод обратных отображений
- метод обращения переменных
- метод обрыва связей
- метод общего снижения температуры
- метод оврагов
- метод ограниченного телесного угла
- метод однократной бомбардировки
- метод определения предела текучести по заданной остаточной деформации
- метод оптимизации конструкций
- метод оптически чувствительных покрытий
- метод оптического гетеродинирования
- метод оптического зонда
- метод ортогонализованных плоских волн
- метод осаждения
- метод осколков деления
- метод ослабления доплеровского смещения
- метод осреднения
- метод остаточных лучей
- метод отбора частиц по времени пролёта
- метод отдачи ядра
- метод отношения активностей
- метод отображения Пуанкаре
- метод отравления бором
- метод охлаждения
- метод оценки
- метод Пайерлса
- метод парамагнитного резонанса
- метод параметра удара
- метод парциальных волн
- метод перевала
- метод переменных коэффициентов упругости
- метод переменных направлений
- метод перенормировки
- метод переходных кривых
- метод периодических цепей связи
- метод Петрова - Галеркина
- метод пирозонда
- метод пирометрического осаждения
- метод плавных возмущений
- метод площадей
- метод поглощения космического радиоизлучения
- метод подбора
- метод подвижного нагревателя
- метод подгонки кривой
- метод подкритического реактора
- метод поиска
- метод полиномов
- метод полного отражения нейтронов
- метод полнопрофильного анализа
- метод половинных отклонений
- метод полостной ионизационной камеры
- метод полюсов Редже
- метод поперечной развёртки
- метод пороговых детекторов
- метод порошковых фигур
- метод последовательной подстановки
- метод последовательных поколений
- метод последовательных приближений Пикара
- метод последовательных приближений
- метод постоянной сагитты
- метод предиктор-корректор
- метод преломлённых волн
- метод преобразования
- метод прерывания пучка
- метод приближённого решения
- метод приближённых вычислений
- метод приведённой толщины
- метод присоединённых плоских волн
- метод присоединённых сферических волн
- метод прицельного параметра
- метод проб и ошибок
- метод пробегов
- метод пробных возмущений
- метод проверки
- метод продлённого объёма
- метод проекционных операторов
- метод производящих координат
- метод пропускания в сферической геометрии
- метод пропускания
- метод протонов отдачи
- метод прямой зарядки
- метод псевдопотенциала
- метод пульсирующего нейтронного пучка
- метод пьедестала
- метод Раби
- метод равных высот
- метод равных отклонений
- метод радиационной фототермоупругости
- метод радиоавтографии
- метод радиоактивных индикаторов
- метод разбавления
- метод разборной камеры
- метод разделения исходных компонентов
- метод разделения переменных
- метод разделительного сопла
- метод разложения в ряд
- метод разложения по кривизне
- метод разложения по малому параметру
- метод разложения по собственным модам
- метод разложения по собственным функциям
- метод разложения
- метод размерностей
- метод разности пар
- метод разности фотонов
- метод расчёта на хрупкую прочность
- метод расчёта
- метод регенерации топлива
- метод регуляризации
- метод резонанса в атомном пучке
- метод резонансной многофотонной ионизации
- метод резонансных детекторов
- метод рекристаллизации
- метод рентгеновской дифракционной топографии
- метод реплик
- метод решётки
- метод Ритвелда
- метод Ритца
- метод ротационной вискозиметрии
- метод Рунге - Кутта
- метод Рытова
- метод Рэлея - Ритца
- метод самоиндикации
- метод самосогласованного поля
- метод самотарирования
- метод сброса стержня
- метод свободных колебаний
- метод связанных каналов
- метод сглаживания
- метод седловых точек
- метод секущих
- метод серого клина
- метод сеток
- метод сечений Пуанкаре
- метод сильно связанных электронов
- метод сильной связи
- метод синтеза из паровой фазы
- метод скрещённых пучков
- метод слабой связи
- метод случайного поиска
- метод случайных фаз
- метод смещения индикатора
- метод снятой эмульсии
- метод совместного осаждения
- метод совпадений
- метод соосаждения
- метод сопряжённого градиента
- метод сопряжённых разностей
- метод сопутствующих частиц
- метод сосредоточенных параметров
- метод спекания
- метод спин-гамильтониана
- метод спуска
- метод средней работы отрыва
- метод статистических испытаний
- метод стационарной фазы
- метод Степанова
- метод Стокбаргера - Бриджмена
- метод Стокбаргера
- метод стоячих рентгеновских волн
- метод структурного анализа
- метод суммарного счёта
- метод сферических гармоник
- метод сферических оболочек
- метод Сциларда - Чалмерса
- метод счёта импульсов
- метод Талькотта
- метод Тамма - Данкова
- метод телескопа
- метод тёмного поля
- метод температурного градиента
- метод Теплера
- метод термодиффузии
- метод Тернера
- метод толстослойных эмульсий
- метод толстостенной ионизационной камеры
- метод Томаса - Ферми
- метод точечных коллокаций
- метод транспортных реакций
- метод трапеций
- метод трёх наполнений
- метод тяжёлого атома
- метод ультразвукового распыления
- метод уравновешивания
- метод ускоренного вращения тигля
- метод усреднения Боголюбова
- метод фазового контраста
- метод фазового сопряжения
- метод фазовой модуляции
- метод факторизации
- метод Фано
- метод фарадеевского вращения
- метод Фарадея
- метод Фейнмана
- метод ферритовых колец
- метод Физо
- метод фильтров
- метод Фокса и Ли
- метод фокусировки
- метод формул сдвига
- метод фотопластинок
- метод фотоупругих покрытий
- метод фотоупругости
- метод фотоэмульсий
- метод Фудживары
- метод Фуко
- метод функции Грина
- метод функционала плотности
- метод функционалов Фока
- метод функционального интеграла
- метод характеристик
- метод характеристических матриц
- метод Харрисона
- метод Хартри - Фока
- метод Хартри
- метод Хилла
- метод химических реакций
- метод химического синтеза
- метод химического транспорта
- метод холодного тигля
- метод хрупких покрытий
- метод центрифугирования
- метод Цернике
- метод Чалмерса
- метод Чандрасекара
- метод частичных отражений
- метод Чепмена - Энскога
- метод численного расчёта
- метод численного решения
- метод Чохральского
- метод шаровых замедлителей
- метод Швингера
- метод шелковинок
- метод Шлезингера
- метод Шпольского
- метод штрафов
- метод Шульца
- метод эйконала
- метод Эйлера
- метод экстраполяции
- метод электрической аналогии
- метод электромеханической аналогии
- метод электронной литографии
- метод элементарных ячеек
- метод эталонных уравнений
- метод эталонных функций
- метод эффективного потенциала
- метод эффективной массы
- метод ядерной индукции
- метод ядерных реакций
- метод ядерных эмульсий
- метод ямок травления
- метод яркого поля
- метод ячеек
- микроволновый метод
- многогрупповой метод
- многоканальный метод
- многопараметрический метод
- многослоевой метод
- многошаговый метод
- муаровый метод получения контурных линий
- нейтронографический метод
- непертурбативный метод
- неразрушающий метод
- нефелометрический метод
- нулевой метод
- обобщённый метод Бете
- обобщённый метод Гюйгенса - Френеля
- общепринятый метод
- объективный метод
- одногрупповой метод
- одноканальный метод
- однопараметрический метод
- одношаговый метод
- оптический метод
- орбитальный метод
- отражательный муаровый метод
- парофазный метод
- пассивный метод управления горением
- перспективный метод
- пертурбативный метод
- полнопрофильный метод
- полуколичественный метод
- полуобратный метод
- поляризационно-оптический метод исследования напряжений
- поляризационно-оптический метод
- поляризационный метод
- пондеромоторный метод
- порошковый метод
- приближённый метод
- прогрессивный метод
- прямой метод граничных интегралов
- прямой метод исключения
- прямой метод
- радиационный метод поисков
- радиационный метод разведки
- радиоастрономический метод
- радиоголографический метод
- радиографический метод
- радиоизотопный метод
- радиолокационный метод
- радиоуглеродный метод
- разностный метод
- резонансный метод
- релаксационный метод
- рентгеновский метод на отражение
- рентгеновский метод на просвет
- рентгеновский метод обратного отражения
- рентгеновский метод
- рентгеногониометрический метод
- рентгенодифрактометрический метод
- рентгенодифракционный метод
- рентгеноструктурный метод
- риометрический метод
- свинцовый метод
- симплексный метод поиска
- смешанный метод
- спектральный метод
- спектрометрический метод
- спектроскопический метод
- статистический метод
- стронциевый метод
- сцинтилляционный метод
- теневой метод визуализации скачков уплотнения в параллельном пучке света
- теневой метод визуализации скачков уплотнения в расходящемся пучке света
- теневой метод испытаний
- теневой метод
- теневой муаровый метод
- теоретико-групповой метод
- термический метод проявления фотопластинок
- термолюминесцентный метод
- термоэлектрический метод
- трековый метод
- трёхуровневый метод накачки
- трибоэлектрический метод
- углеродный метод
- узловой метод
- условный выборочный метод
- формальный аксиоматический метод
- фотографический метод
- фотолюминесцентный метод
- фотометрический метод
- фотоэлектрический метод
- химический метод разделения
- химический метод
- цифровой метод
- численный метод
- эклипсный метод
- электроконтактный метод
- электромагнитный метод
- электростатический метод
- эманационный метод
- эмиссионный метод
- эмпирический метод
- энергетический метод
- эпитаксиальный метод
- явный разностный метод
- ядерный метод
См. также в других словарях:
Формальный аксиоматический метод — см. Аксиоматический метод … Большая советская энциклопедия
АКСИОМАТИЧЕСКИЙ МЕТОД — (греч. axioma значимое, принятое положение) способ построения теории, при котором некоторые истинные утверждения избираются в качестве исходных положений (аксиом), из которых затем логическим путем выводятся и доказываются остальные истинные… … Новейший философский словарь
АКСИОМАТИЧЕСКИЙ МЕТОД — способ построения научной теории, при к ром в основу теории кладутся нек рые исходные положения, наз. аксиомами теории, а все остальные предложения теории получаются как логич. следствия аксиом. В математике А. м. зародился в работах… … Математическая энциклопедия
АКСИОМАТИЧЕСКИЙ МЕТОД — (греч. axioma значимое, принятое положение) способ построения теории , при котором некоторые истинные утверждения избираются в качестве исходных положений (аксиом), из которых затем логическим путем выводятся и доказываются остальные истинные… … Социология: Энциклопедия
МЕТАТЕОРИЯ — (от греч. meta после, за, позади) теория, изучающая язык, структуру и свойства некоторой др. теории. Теория, свойства которой исследуются в М., называется предметной, или объектной, теорией. Наиболее развиты М. в логике и математике (металогика И … Философская энциклопедия
НЕПРОТИВОРЕЧИВОСТЬ — отсутствие в системе идей логического противоречия, т.е. некоторого утверждения и его отрицания. Н. постулируется логическим противоречия законом и входит в ядро тех требований, которые предъявляются к рациональному мышлению (см. РАЦИОНАЛЬНОСТЬ ) … Философская энциклопедия
МАТЕМАТИКИ ИСТОРИЯ — Самой древней математической деятельностью был счет. Счет был необходим, чтобы следить за поголовьем скота и вести торговлю. Некоторые первобытные племена подсчитывали количество предметов, сопоставляя им различные части тела, главным образом… … Энциклопедия Кольера
Список статей по математической логике — Это служебный список статей, созданный для координации работ по развитию темы. Данное предупреждение не ус … Википедия
Метатеория — (от Мета...) теория, анализирующая структуру, методы и свойства какой либо другой теории т. н. предметной теории, или объектной. Термин «М.» осмысленно употребляется лишь по отношению к некоторой конкретной предметной теории; так, М.… … Большая советская энциклопедия
Правило вывода — правило преобразования некоторой формальной системы, дедуктивное правило, правило разрешение, регламентирующее допустимые способы переходов от некоторой совокупности утверждений (суждений (См. Суждение), высказываний (См. Высказывание)… … Большая советская энциклопедия
МАТЕМАТИЧЕСКАЯ ЛОГИКА — один из ведущих разделов современной логики и математики. Сформировался в 19 20 ст. как реализация идеи о возможности записать все исходные допущения на языке знаков, аналогичных математическим и тем самым заменить рассуждения вычислениями.… … Новейший философский словарь
